Tham khảo Logic_bậc

Tham khảo Logic_bậc_hai

Andrews, Peter (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (ấn bản 2). Kluwer Academic Publishers.
Boolos, George (1984). “To Be Is To Be a Value of a Variable (or to Be Some Values of Some Variables)”. Journal of Philosophy 81 (8): 430–50. JSTOR 2026308. doi:10.2307/2026308. . Reprinted in Boolos, Logic, Logic and Logic, 1998.
Henkin, L. (1950). “Completeness in the theory of types”. Journal of Symbolic Logic 15 (2): 81–91. JSTOR 2266967. doi:10.2307/2266967.
Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-56881-262-0.
Putnam, Hilary (1982). “Peirce the Logician”. Historia Mathematica 9 (3): 290–301. doi:10.1016/0315-0860(82)90123-9. Đã bỏ qua tham số không rõ |doi-access= (trợ giúp). Reprinted in Putnam, Hilary (1990), Realism with a Human Face, Harvard University Press, pp. 252–260.
W. V. Quine (1970). Philosophy of Logic. Prentice Hall.
Rossberg, M. (2004). "First-Order Logic, Second-Order Logic, and Completeness" (PDF). In V. Hendricks; et al. (eds.). First-order logic revisited. Berlin: Logos-Verlag.
Shapiro, S. (2000) [1991]. Foundations without Foundationalism: A Case for Second-Order Logic. Oxford: Clarendon Press. ISBN 0-19-825029-0.
Väänänen, J. (2001). “Second-Order Logic and Foundations of Mathematics”. Bulletin of Symbolic Logic 7 (4): 504–520. JSTOR 2687796. doi:10.2307/2687796. Đã bỏ qua tham số không rõ |citeseerx= (trợ giúp)
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott (2007). Finite model theory and its applications. Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer-Verlag. ISBN 978-3-540-00428-8. Zbl 1133.03001.

Tài liệu tham khảo

WikiPedia: Logic_bậc_hai //dx.doi.org/10.1016%2F0315-0860(82)90123-9 //dx.doi.org/10.2307%2F2026308 //dx.doi.org/10.2307%2F2266967 //dx.doi.org/10.2307%2F2687796 //www.jstor.org/stable/2026308 //www.jstor.org/stable/2266967 //www.jstor.org/stable/2687796 //zbmath.org/?format=complete&q=an:1133.03001 https://books.google.com/books?id=7JFTo-ZXROMC&pg=... https://books.google.com/books?id=S_NhnP0izA4C&pri...